Exercise logic.propositional.cnf
Description
Proposition to CNF
| Code | logic.propositional.cnf |
| Status | Stable |
| Strategy | cnf |
| Rules | 44 |
| Buggy rules | 39 |
| OpenMath support | yes |
| Restartable strategy | yes |
| Exercise generator | yes |
| Examples | 5 |
Example exercises
generate exercise: very_easy, easy, medium, difficult, very_difficult